Finite-state machine - PDFSEARCH.IO - Document Search Engine

Finite-state machine
Results: 655

#	Item
71	RICE UNIVERSITY B¨ uchi Containment and Size-Change Termination by Seth Fogarty A THESIS SUBMITTED Add to Reading List Source URL: www.cs.rice.edu Language: English - Date: 2010-10-21 15:29:28 Automata theory Models of computation Finite-state machine
72	Algorithmic Analysis of Array-Accessing Programs ? ˇ Rajeev Alur, Pavol Cern´ y, and Scott Weinstein University of Pennsylvania Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2009-06-22 08:52:31 Mathematics Formal languages Computer science Finite state transducer Finite-state machine Nondeterministic finite automaton Petri net FO Variable Automata theory Models of computation Theoretical computer science
73	Uniform Distributed Synthesis Bernd Finkbeiner and Sven Schewe Universit¨at des Saarlandes Abstract Add to Reading List Source URL: cgi.csc.liv.ac.uk Language: English - Date: 2008-09-22 13:40:44 Ω-automaton Finite-state machine Papyrus 1 Automata theory Models of computation Symbol
74	RESPONSE TIME DENSITIES AND QUANTILES IN LARGE MARKOV AND SEMI-MARKOV MODELS JEREMY T. BRADLEY NICHOLAS J. DINGLE ULI HARDER Add to Reading List Source URL: pubs.doc.ic.ac.uk Language: English - Date: 2008-12-01 10:04:22 Markov chain Semi-Markov process Markov property Laplace transform Continuous-time Markov process Stochastic matrix Uniformization Stochastic process Finite-state machine Statistics Markov processes Markov models
75	Synthesis for Probabilistic Environments⋆ Sven Schewe Universit¨ at des Saarlandes, 66123 Saarbr¨ ucken, Germany Add to Reading List Source URL: cgi.csc.liv.ac.uk Language: English - Date: 2008-09-22 13:37:30 Symbol Finite-state machine Deterministic automaton Ω-automaton Automata theory Theoretical computer science Computer science
76	JMLR: Workshop and Conference Proceedings 34:109–123, 2014 Proceedings of the 12th ICGI Learning Nondeterministic Mealy Machines Ali Khalili Add to Reading List Source URL: jmlr.org Language: English - Date: 2014-08-26 06:56:50 Symbol Mealy machine Finite-state machine Regular language Computing Mathematics Finite state transducer Automata theory Models of computation Nondeterministic finite automaton
77	Synthesis of Asynchronous Systems Sven Schewe and Bernd Finkbeiner Universit¨ at des Saarlandes, 66123 Saarbr¨ ucken, Germany {schewe\|finkbeiner}@cs.uni-sb.de Add to Reading List Source URL: cgi.csc.liv.ac.uk Language: English - Date: 2008-09-22 13:39:05 Applied mathematics Ω-automaton Finite-state machine Scheduling Tree automaton Alternating finite automaton Powerset construction Automata theory Theoretical computer science Computer science
78	1 Yosys Application Note 010: Converting Verilog to BLIF Clifford Wolf November 2013 Add to Reading List Source URL: www.clifford.at Language: English - Date: 2015-02-09 07:25:25 Digital electronics Logic design Verilog Logic synthesis Field-programmable gate array High-level synthesis Finite-state machine VHDL AS/400 Control Language Electronic engineering Hardware description languages Electronic design automation
79	Universit¨at des Saarlandes Naturwissenschaftlich-Technische Fakult¨at 1 Fachrichtung Informatik Bachelor-Studiengang Informatik Bachelor’s Thesis Add to Reading List Source URL: cgi.csc.liv.ac.uk Language: English - Date: 2008-09-29 06:47:38 Applied mathematics Tree automaton Finite-state machine Alternating finite automaton Powerset construction Formal language Muller automaton Automata theory Theoretical computer science Computer science
80	12 Informed learners T Understanding is compression, comprehension is compression! Add to Reading List Source URL: pagesperso.lina.univ-nantes.fr Language: English - Date: 2010-07-20 08:11:04 Computer science Software engineering Finite-state machine GOLD Computing Automata theory Models of computation Deterministic finite automaton

UPDATE